]> dgit.raspbian.org Git - gnome-shell.git/commit
projects / gnome-shell.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 8e23ff8) | patch
appDisplay: Introduce PageManager
authorGeorges Basile Stavracas Neto <georges.stavracas@gmail.com>
Thu, 5 Dec 2019 15:31:52 +0000 (12:31 -0300)
committerFlorian Müllner <florian.muellner@gmail.com>
Mon, 20 Jul 2020 16:13:20 +0000 (16:13 +0000)
commite1ea1d29540c3fc8f2346fbc481f784c17fd0e56
tree4d561cd1e38ed121588a56b529754535f3cc7ce1tree | snapshot
parent8e23ff81111ca8856b325c690abb0b6f3fba9fc2commit | diff
appDisplay: Introduce PageManager

The PageManager does the heavy lifting between reading the
'app-picker-layout' GSettings key, and saving the new pages.

https://gitlab.gnome.org/GNOME/gnome-shell/-/merge_requests/1284
js/ui/appDisplay.js diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.